A mathematical framework for falsifiability

A mathematical framework for falsifiability

a framework for identifying and prioritizing factors affecting customers’ online shopping behavior in iran

the purpose of this study is identifying effective factors which make customers shop online in iran and investigating the importance of discovered factors in online customers’ decision. in the identifying phase, to discover the factors affecting online shopping behavior of customers in iran, the derived reference model summarizing antecedents of online shopping proposed by change et al. was us...

A Unique Mathematical Framework for Optimizing Patient Satisfaction in Emergency Departments

In healthcare systems, emergency departments (EDs) are the most vital elements, in that they provide critical and immediate healthcare services to the patients 24 hours a day. Patient satisfaction is a crucial concept and a practical tool for evaluating the performance of the EDs. This study presents a unique framework for the performance optimization of an emergency department in a big general...

Tractable Falsifiability

We propose to strengthen Popper’s notion of falsifiability by adding the requirement that when an observation is inconsistent with a theory, there must be a “short proof” of this inconsistency. We model the concept of a short proof using tools from computational complexity, and provide some examples of economic theories that are falsifiable in the usual sense but not with this additional requir...

A mathematical framework for automated bug localization

In this paper, we propose a mathematical framework for automated bug localization. This framework can be briefly summarized as follows. A program execution can be represented as a rooted acyclic directed graph. We define an execution snapshot by a cut-set on the graph. A program state can be regarded as a conjunction of labels on edges in a cut-set. Then we argue that a debugging task is a prun...